AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x1, k6, k4, k5, s2*x4, s2*x2, s2*k1, s3*x3, s3*k2, k2 + k1, k3 + k7, (k2*s2)//(k3*k2 + k3*k1)]
